package interfaces;

import exceptions.InconsistentValueException;

public interface IContaKm {

	public final int limit = 100, initVal = 0; // property

	public void inc() throws InconsistentValueException; // modifier

	public int getVal(); // provider

	// invariant initVal<=getVal()<=limit
}
